 |
Your search returned 8 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1989 Volume number : 15 Issue: 01 |
Some Inference Reles For Integer Arithmetic For Verification Of Flowchart Programs On Integers
(Article)
Subject:
Decision Procedure
,
Mechanical Treatment
,
Solvability
Author:
Dilip
Sarkar
S. C. De
Sarkar
page:
1
-
9
A Modified Prioity Based Probe Algorithm For Distributed Deadlock Detection And Resolution
(Article)
Subject:
Concurrency Control
,
Deadlock Detection
,
Distributed Databases
Author:
Alok N.
Choudhary
John A.
Stankovic
Don
Towsley
page:
10
-
17
Heuristics For Join Processing Using Monclustered Indexes
(Article)
Subject:
Bipartite Graph
,
Heuristics
,
Secondary Flow
Author:
Edward R.
Omiecinski
page:
18
-
25
Optimizing Joins In Fragmented Database Systems On A Broadcast Local Network
(Article)
Subject:
Broadcast Networks
,
Distributed Query Processing
,
Join
Author:
Jan-San
Chen
Victor O. K
Li
page:
26
-
38
A Pessimistic Consistency Control Algorithm For Replicated Files Which Achievs High Availability
(Article)
Subject:
Consistency
,
Voting
,
Network
Author:
Sushil
Jajodia
David
Mutchler
page:
39
-
46
Data And Time Abstraction Techniques For Analyzing Multilevel Concurrent Systems
(Article)
Subject:
Access Path
,
Bounded Buffer
,
Data Abstraction
Author:
Toshimi
Minoura
Sitharama
Iyengar
page:
47
-
59
Deduction Graphs An Algorithm And Applications
(Article)
Subject:
Artificial Intelligence
,
Resolution
,
Hornet(Vespa) Silk
Author:
Chao-Chung
Yang
page:
60
-
67
Correspondence
(Article)
Subject:
File System Locality
,
Mutual Coupling
,
Replicated File
Author:
Danco
Davcev
page:
93
-
97
|
|
| | |
